Processes are in the Eye of the Beholder

نویسنده

  • Leslie Lamport
چکیده

This work may not be copied or reproduced in whole or in part for any c o m-mercial purpose. Permission to copy in whole or in part without payment o f f e e i s g r a n ted for nonproot educational and research purposes provided that all such whole or partial copies include the following: a notice that such copying is by permission of the Systems Research Center of Digital Equipment Corporation in Palo Alto, Californiaa an acknowledgment o f t h e authors and individual contributors to the workk and all applicable portions of the copyright notice. Copying, reproducing, or republishing for any other purpose shall require a license with payment of fee to the Systems Research Center. All rights reserved. iii iv Author's Abstract A t wo-process algorithm is shown to be equivalent t o a n N-process one, illustrating the insubstantiality of processes. A formal equivalence proof in TLA (the Temporal Logic of Actions) is sketched.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Equivalence is in the Eye of the Beholder

We analyze in what sense the two algorithms are and are not equivalent. There is no one notion of equivalence appropriate for all purposes and thus the \insubstantiality of processes" may itself be in the eye of the beholder. There are other issues where we disagree with Lamport. In particular, we give a direct equivalence proof for two programs without representing them by means of temporal fo...

متن کامل

Eye-Tracking Method’ Usage for Understanding the Cognitive Processes in Multimedia Learning

Introduction: Designing multimedia learning environments should consist of the evidence-based study and principals about the human learning process. Eye tracking is a way based on the learner processing of learning materials which presented in multimedia learning environments. The aim of the study was to examine the use of the eye-tracking method to investigate the cognitive processes in m...

متن کامل

What Makes Something "Ad Hoc"

We are all familiar with the phrase "beauty is in the eye of the beholder." In this case we have an instance of "the disease is in the eye of the beholder" which of course explains whY the cure is so elusive. The beholder rarely wants to do anything about it. To discuss this more subjectively, let's take a neutral case. Before doing so, we shall have to point out what a case can be expected to ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 179  شماره 

صفحات  -

تاریخ انتشار 1997